Analysis of a Complex Architectural Style C2 Using Modeling Language Alloy
نویسندگان
چکیده
منابع مشابه
C2-Style Architecture Testing and Metrics Using Dependency Analysis
Software architecture has already become one of the primary research areas in software engineering recently and how to test software architecture automatically, effectively and adequately is a difficulty in issues about software architecture. Currently, many people are doing the research of software architecture analyze, evaluation, testing and verification techniques, and some representative t...
متن کاملMotile: Reflecting an Architectural Style in a Mobile Code Language
Decentralized services, that is, services distributed across multiple, distinct spheres of authority, offer substantial challenges; particularly when we demand that they be both adaptive and secure. We consider decentralized services in the context of COmputAtional State Transfer (COAST), an architectural style for which service adaptivity and security are principal concerns, and discuss how th...
متن کاملReusing Off-the-Shelf Components to Develop a Family of Applications in the C2 Architectural Style
Reuse of large-grain software components offers the potential for significant savings in application development cost and time. Successful reuse of components and component substitutability depends both on qualities of the components reused as well as the software context in which the reuse is attempted. Disciplined approaches to the structure and design of software applications offers the pote...
متن کاملUsing Z as a Substrate for an Architectural Style Description Language
This paper shows how Z can be used as a substrate for an architectural style description language. The language provides a collection of abstract software types that support the description of execution and interface semantics, logical views, and relationships between logical views. The software types correspond to application-invariant Z schemas, which provide a type-theoretic basis for the la...
متن کاملConsistent Architectural Refinement and Evolution using the Unified Modeling Language
Architecture Description Languages (ADLs) comprise a sizeable set of modeling techniques that are aimed at bridging the gap between requirements engineering and low-level design and code. ADLs excel in their ability to model high-level functional and non-functional aspects of software systems and have demonstrated increasing support for trade-off analyses (i.e., requirements feasibility) and si...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Science and Information Technology
سال: 2014
ISSN: 2331-6063,2331-6071
DOI: 10.13189/csit.2014.020305